大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

Information Theoretic Security [electronic resource] : 4th International Conference, ICITS 2009, Shizuoka, Japan, December 3-6, 2009. Revised Selected Papers

0
索取号：
作者：Kurosawa、 Kaoru.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Critical Information Infrastructures Security [electronic resource] : 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers

0
索取号：
作者：Rome、 Erich.、Bloomfield、 Robin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Biomedical Image Registration [electronic resource] : 4th International Workshop, WBIR 2010, L眉beck, Germany, July 11-13, 2010. Proceedings

0
索取号：
作者：Fischer、 Bernd.、Dawant、 Beno卯t M.、Lorenz、 Cristian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Mathematics of Language [electronic resource] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

0
索取号：
作者：Ebert、 Christian.、J盲ger、 Gerhard.、Michaelis、 Jens.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP

0
索取号：
作者：Dovier、 Agostino.、Pontelli、 Enrico.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

New Results in Numerical and Experimental Fluid Mechanics VII [electronic resource] : Contributions to the 16th STAB/DGLR Symposium Aachen, Germany 2008

0
索取号：
作者：Dillmann、 Andreas.、Heller、 Gerd.、Klaas、 Michael.、Kreplin、 Hans-Peter.、Nitsche、 Wolfgang.、Schr枚der、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Progress in Hybrid RANS-LES Modelling [electronic resource] : Papers Contributed to the 3rd Symposium on Hybrid RANS-LES Methods, Gdansk, Poland, June 2009

0
索取号：
作者：Peng、 Shia-Hui.、Doerffer、 Piotr.、Haase、 Werner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

0
索取号：
作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

0
索取号：
作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

0
索取号：
作者：Autexier、 Serge.、Calmet、 Jacques.、Delahaye、 David.、Ion、 Patrick D. F.、Rideau、 Laurence.、Rioboo、 Renaud.、Sexton、 Alan P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

ECOOP 2010-Object-Oriented Programming [electronic resource] : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings

0
索取号：
作者：D鈥橦ondt、 Theo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Gaussian Approximation Potential [electronic resource] : An Interatomic Potential Derived from First Principles Quantum Mechanics

0
索取号：
作者：Bart蠈k-P谩rtay、 Albert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Mechanisms for Autonomous Management of Networks and Services [electronic resource] : 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings

0
索取号：
作者：Stiller、 Burkhard.、Turck、 Filip.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Tests and Proofs [electronic resource] : 4th International Conference, TAP 2010, M谩laga, Spain, July 1-2, 2010. Proceedings

0
索取号：
作者：Fraser、 Gordon.、Gargantini、 Angelo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Inductive Logic Programming [electronic resource] : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers

0
索取号：
作者：Raedt、 Luc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Learning and Intelligent Optimization [electronic resource] : 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010. Selected Papers

0
索取号：
作者：Blum、 Christian.、Battiti、 Roberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院